Formal aspects of component software
نویسندگان
چکیده
This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (FACS'09). 2000 Mathematics Subject Classification: 0
منابع مشابه
Formal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملFormal Contracts: Enabling Component Composition
Traditional component interaction is based on interface calls and callbacks. Such interaction can introduce integration faults, i.e., side effects at the moment of component integration. Solutions to such problems can be hard to apply, and may require drastic changes in the design of the involved components. This paper introduces Formal Contracts, a software construct that allows side-effect fr...
متن کاملAn Analysis of Some Aspects of Component-based Programming for Selecting Appropriate Categorical Structures as Their Models
Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques necessary for those who are working with theoretical background in computer science. Categories are interesting mathematical structures which have become...
متن کاملComponent-Based Systems : A Formal Approach
The evolution from object-oriented systems to component-oriented systems is the state of the art. We propose a formal approach to deene what component is and how it is used. Our aim is to provide formal notations and a set of theories for component-based systems. This paper presents an approach to a formal model for Component-Based Systems (CBSs) based on comparative studies of two standard com...
متن کاملTowards a Compositional Approach to the Design and Verification of Distributed Systems
We are investigating a component-based approach for formal design of distributed systems. In this paper, we introduce the framework we use for specification, composition and communication and we apply it to an example that highlights the different aspects of a compositional design, including top-down and bottom-up phases, proofs of composition, refinement proofs, proofs of program texts, and co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009